A note on some collapse results of valued constraints
نویسندگان
چکیده
Valued constraint satisfaction problem (VCSP) is an optimisation framework originally coming from Artificial Intelligence and generalising the classical constraint satisfaction problem (CSP). The VCSP is powerful enough to describe many important classes of problems. In order to investigate the complexity and expressive power of valued constraints, a number of algebraic tools have been developed in the literature. In this note we present alternative proofs of some known results without using the algebraic approach, but by representing valued constraints explicitly by combinations of other valued constraints.
منابع مشابه
Numerical Study of Progressive Collapse in Framed Structures: A New Approach for Dynamic Column Removal (TECHNICAL NOTE)
Progressive collapse is a situation where local failure of a primary structural component leads to the collapse of adjoining members which, in turn, leads to additional collapse. Hence, the total damage is disproportionate to the original cause. The most common local failure in framed structure is assumed to be column failure. In this paper, a new approach for dynamic column removal in framed s...
متن کاملFUZZY HYPERVECTOR SPACES OVER VALUED FIELDS
In this note we first redefine the notion of a fuzzy hypervectorspace (see [1]) and then introduce some further concepts of fuzzy hypervectorspaces, such as fuzzy convex and balance fuzzy subsets in fuzzy hypervectorspaces over valued fields. Finally, we briefly discuss on the convex (balanced)hull of a given fuzzy set of a hypervector space.
متن کاملSome approximate fixed point results for proximinal valued $beta$-contractive multifunctions
In this paper, we prove some approximate fixed point results for proximinal valued $beta$-contractive multifunctions on metric spaces. We show that our results generalize some old fixed point results in the literature.
متن کاملCommon Fixed Point Results on Complex-Valued $S$-Metric Spaces
Banach's contraction principle has been improved and extensively studied on several generalized metric spaces. Recently, complex-valued $S$-metric spaces have been introduced and studied for this purpose. In this paper, we investigate some generalized fixed point results on a complete complex valued $S$-metric space. To do this, we prove some common fixed point (resp. fixed point) theorems usin...
متن کاملTREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS
In this paper, at first we define the concepts of response function and accessible states of a complete residuated lattice-valued (for simplicity we write $mathcal{L}$-valued) tree automaton with a threshold $c.$ Then, related to these concepts, we prove some lemmas and theorems that are applied in considering some decision problems such as finiteness-value and emptiness-value of recognizable t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Inf. Process. Lett.
دوره 109 شماره
صفحات -
تاریخ انتشار 2009